41. Computational combinatorial optimization
Author: / Michael Jun??ger, Denis Naddef (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming (Mathematics)--Congresses,Combinatorial optimization--Congresses
Classification :
T
,
57
.
7
,.
C66
,
2001
QA
,
76
,.
L4
,
no
.
2241
42. Computational combinatorial optimization : optimal or provably near-optimal solutions
Author: Michael Junger, Denis Naddef )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming )Mathematics(,Congresses ، Combinatorial optimization
Classification :
QA
76
.
L28
Vol
.
2241
43. Computational diffusion MRI :
Author: Enrico Kaden, Francesco Grusso, Lipeng Ning, Chantal M.W. Tax, Jelle Veraart, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Diffusion magnetic resonance imaging, Congresses.,Computational Biology/Bioinformatics.,Computational Mathematics and Numerical Analysis.,Image Processing and Computer Vision.,Mathematical and Computational Biology.,Mathematics.,Statistics for Life Sciences, Medicine, Health Sciences.,Diffusion magnetic resonance imaging.,Image processing.,Life sciences: general issues.,Maths for scientists.,NATURE-- Reference.,Numerical analysis.,Probability & statistics.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
Classification :
RC386
.
6
.
M34
44. Computational matter /
Author: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
Classification :
QA76
45. Computational science and its applications -- ICCSA 2014 :
Author: Beniamino Murgante...[and 8 more] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses,Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
Classification :
QA75
.
5
46. Computer algebra and parallelism
Author: / J. Della Dora, J. Fitch (editors)
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Algebra - Data processing - Congresses,Parallel programming (Computer science) - Congresses,Parallel processing (Electronic computers) - Congresses
Classification :
QA
155
.
7
.
E4
C6493
1989
47. Computer supported education :
Author: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
Classification :
LB1028
.
5
48. Computers and Exploratory Learning
Author: edited by Andrea A. diSessa, Celia Hoyles, Richard Noss, Laurie D. Edwards.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction -- Congresses.,Education -- Data processing -- Congresses.,Human-computer interaction -- Congresses.
Classification :
LB1028
.
43
E358
1995
49. Computing with foresight and industry :
Author: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
Classification :
QA9
.
59
.
C67
2019
50. Constraint programming and large scale discrete optimization: DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998, DIMACS Center
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Mathematical optimization
Classification :
QA
76
.
612
.
D56
1998
51. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
52. DNA computing and molecular programming :
Author: David Doty, Hendrik Dietz (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.
Classification :
QA76
.
887
.
I58
2018eb
53. DNA computing and molecular programming :
Author: David Soloveichik, Bernard Yurke (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Molecular computers, Congresses
Classification :
QA76
.
887
.
I58
2012
54. Design and implementation of symbolic computation systems :
Author: A. Miola, (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
Classification :
QA76
.
9
.
S88
I576
1990
55. Empowering learners for life in the digital age :
Author: Don Passey, Rosa Bottino, Cathy Lewin, Eric Sanchez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Education-- Data processing, Congresses.,Education-- Data processing.
Classification :
LB1028
.
43
56. Evolutionary computation in combinatorial optimization :
Author: Arnaud Liefooghe, Manuel López-Ibáñez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Combinatorial optimization-- Data processing.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.
Classification :
QA76
.
618
57. Exploring the early digital /
Author: Thomas Haigh, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
Classification :
QA75
.
5
.
E96
2019
58. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
59. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
60. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
